首页> 外文OA文献 >The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits

【2h】

The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits

机译：通过缩减II机械化生成无功系统故障树：时钟和反馈电路

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Richard Banach; Marco Bozzano;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits [J] . Richard Banach, Marco Bozzano Formal Aspects of Computing . 2013,第4期

机译：通过缩减II通过机械方式生成无功系统故障树：时钟和反馈电路
2. The mechanical generation of fault trees for reactive systems via retrenchment Ⅱ: clocked and feedback circuits [J] . Richard Banach, Marco Bozzano Formal Aspects of Computing . 2013,第4期

机译：通过缩减Ⅱ的无功系统故障树的机械生成：时钟和反馈电路
3. The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits [J] . Richard Banach, Marco Bozzano Formal Aspects of Computing . 2013,第4期

机译：通过缩回为反应堆系统自动生成故障树的I：组合电路
4. Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems [C] . Richard Banach, Marco Bozzano Computer Safety, Reliability, and Security; Lecture Notes in Computer Science; 4166 . 2006

机译：裁员，以及静态，动态和循环系统的故障树生成
5. Low power and high performance VLSI circuits for clocking systems. [D] . Zhao, Peiyi. 2005

机译：用于时钟系统的低功耗和高性能VLSI电路。
6. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip [O] . Danny Dolev, Matthias Függer, Markus Posch, -1

机译：严格建模自稳定的容错电路：片上系统的超鲁棒时钟方案
7. The mechanical generation of fault trees for reactive systems via retrenchment II: Clocked and feedback circuits [O] . Banach, Richard, Bozzano, Marco 2013

机译：通过裁员机械生成无功系统的故障树II：时钟和反馈电路
8. Clock Tree Insertion and Verification for 3D Integrated Circuits [R] . Mineo, C. A. 2005

机译：三维集成电路的时钟树插入与验证

The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits

著录项

引文网络

相似文献

相关主题

期刊订阅